Απόδειξη ανισοτήτων